Dragos Truscan Johan Lindqvist Johan Lilius Ivan Porres Timo Eriksson Juha Rakkola Antti Latva-Aho Testable Specifications of NoTA-based Modular Embedded Systems. 375-383 2008 ECBS http://doi.ieeecomputersociety.org/10.1109/ECBS.2008.38 conf/ecbs/2008 db/conf/ecbs/ecbs2008.html#TruscanLLPERL08