Rance Cleaveland Philip M. Lewis Scott A. Smolka Oleg Sokolsky The Concurrency Factory Software Development Environment. 391-395 1996 conf/tacas/1996 TACAS db/conf/tacas/tacas96.html#CleavelandLSS96 http://dx.doi.org/10.1007/3-540-61042-1_56