Cleaveland, Smolka, 1996. Strategic directions in concurrency research 28.. https://doi.org/10.1145/242223.242252