John G. P. Barnes;Gerald A. Fisher, Jr.
-;-
Integrated Environments for Formally Well-Founded Design and Simulation of Concurrent Systems
IEEE Transactions on Software Engineering