SDL specification and verification of universal personal computing: with Object GEODE.

Maria Törö Jinsong Zhu Victor C. M. Leung SDL specification and verification of universal personal computing: with Object GEODE. 267-282 1998 conf/forte/1998 FORTE db/conf/forte/forte1998.html#ToroZL98