Amir A. Khwaja, Joseph E. Urban. RealSpec: An Executable Specification Language for Modeling Control Systems. In 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009, Tokyo, Japan, 17-20 March 2009. pages 219-227, IEEE Computer Society, 2009. [doi]
Abstract is missing.