Vered Gafni Yishai A. Feldman Amiram Yehudai Real-Time Systems Development with MASS. 1999 25 Electr. Notes Theor. Comput. Sci. http://www.elsevier.com/gej-ng/31/29/23/49/23/show/Products/notes/index.htt#009 db/journals/entcs/entcs25.html#GafniFY99