Carlos Puchol, Subramanian K. Iyer. The MacBeth Specification, Modeling and Programming Language. In Proceedings of the 7th IEEE Real-Time Technology and Applications Symposium (RTAS 2001), 30 May - 1 June 2001, Taipei, Taiwan. pages 181-190, IEEE Computer Society, 2001. [doi]
Abstract is missing.