%0 Conference Paper %B Proceedings of the 2005 IEEE Conference on Emerging Technologies and Factory Automation %D 2005 %T Towards Usage of Formal Methods within Embedded Systems Co-Design %A Gomes, Luís %A {João Paulo} Barros %A Anikó Costa %A Rui Pais %A Filipe Moutinho %X n/a %Z n/a