Prototyping a Domain-Specific Language for Monitor and Control Systems. - Matthew Bennett; Richard Borgen; Klaus Havelund; Michel D. Ingham; David A. Wagner 002 (J. Aerosp. Comput. Inf. Commun., 2010)