Testable Specifications of NoTA-based Modular Embedded Systems. - Dragos Truscan; Johan Lindqvist; Johan Lilius; Ivan Porres; Timo Eriksson; Juha Rakkola; Antti Latva-Aho (ECBS, 2008)