Reusable Formal Specification for Embedded Systems. - Yuji Arichika; Keijiro Araki (APSEC, 2004)