Modeling an NORAD Command Post Using SADT and Colored Petri Nets.

Published in: Functional Programming, Concurrency, Simulation and Automated Reasoning (1993)