Dragos Truscan, Johan Lindqvist, Johan Lilius, Ivan Porres, Timo Eriksson, Juha Rakkola, Antti Latva-Aho. Testable Specifications of NoTA-based Modular Embedded Systems. In 15th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2008), 31 March - 4 April 2008, Belfast, Northern Ireland. pages 375-383, IEEE Computer Society, 2008. [doi]
Abstract is missing.