Software Design Methods for Concurrent and RealTime Systems (1993)

by H Gomaa