Sanjai Rayadurgam, Mats Per Erik Heimdahl. Test-Sequence Generation from Formal Requirement Models. In 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), Special Topic: Impact of Networking, 24-26 October 2001, Albuquerque, NM, USA, Proceedings. pages 23-31, IEEE Computer Society, 2001.
Abstract is missing.