RealSpec: An Executable Specification Language for Modeling Control Systems.

Amir A. Khwaja, Joseph E. Urban

Browse the full ISORC paper archive.