The Concurrency Factory Software Development Environment.

Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky

Browse the full TACAS paper archive.