RealSpec: An Executable Specification Language for Modeling Control Systems | IEEE Conference Publication | IEEE Xplore