You are about to access our book library "Software Design Methods for Concurrent and Real-Time Systems (Sei Series in Software Engineering) full version" .