Software Design Methods for Concurrent and Real-Time Systems, Sei Series in Software Engineering