Ingo Stierand, Sunil Malipatlolla. Exploiting Functional Models to Assess the Security Aspect in Embedded System Design. In Sabu M. Thampi, Pradeep K. Atrey, Chun-I Fan, Gregorio Martinez Pérez, editors, Security in Computing and Communications - International Symposium, SSCC 2013, Mysore, India, August 22-24, 2013. Proceedings. Volume 377 of Communications in Computer and Information Science, pages 90-97, Springer, 2013. [doi]