An Executable Interface Specification for Industrial Embedded System Design. - Jinfeng Huang; Jeroen Voeten; Serge Wolfs; Mark Coopmans (QSIC, 2008)