Martin Ouimet, Kristina Lundqvist. The TASM Language and the Hi-Five Framework: Specification, Validation, and Verification of Embedded Real-Time Systems. In 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 5-7 December 2007, Nagoya, Japan. pages 567, IEEE Computer Society, 2007. [doi]
Abstract is missing.