Real-Time Systems Development with MASS??
Vered Gafni, Yishai Feldman, Amiram Yehudai · Electronic Notes in Theoretical Computer Science · 1999
In this paper, we demonstrate the capability of mass, a real-time design language, for large systems specification. The paper presents a hierarchical specification of an automatic cruise controller that evolves through stepwise refinement. In particular, we show modular design, the separation of the functional and reactive concerns, and the succinct and intuitive nature of specifications in Mass mass.