Jinfeng Huang, Jeroen Voeten, Serge Wolfs, Mark Coopmans. An Executable Interface Specification for Industrial Embedded System Design. In Hong Zhu, editor, Proceedings of the Eighth International Conference on Quality Software, QSIC 2008, 12-13 August 2008, Oxford, UK. pages 37-44, IEEE Computer Society, 2008. [doi]
Abstract is missing.