The MacBeth specification, modeling and programming language

This paper introduces MacBeth, a language for the behavioral specification and programming of real-time applications. MacBeth is designed to specify as well as implement systems that treat timing and state as first-class objects, in a general, yet formal, concise and efficient fashion. The purpose of MacBeth is to produce not only better code but also correct code in a fast but structured fashion. While MacBeth inherits features like concurrency, synchrony, hierarchy and broadcast communication from existing synchronous languages, it also incorporates new features such as asynchronous communication among components, language support for the execution of periodic and event-driven tasks with timing constraints, extended and flexible transition expressions, simplification of basic common constructs such as interrupts and exceptions, modularization, as well as static typing, structuring and parametrization of state diagrams