Robert G. Pettit IV, Hassan Gomaa. Analyzing Behavior of Concurrent Software Designs for Embedded Systems. In Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 7-9 May 2007, Santorini Island, Greece. pages 124-132, IEEE Computer Society, 2007. [doi]
Abstract is missing.