Mitsutaka Okazaki Toshiaki Aoki Takuya Katayama Extracting threads from concurrent objects for the design of embedded systems. 107-116 2002 conf/apsec/2002 APSEC http://csdl.computer.org/comp/proceedings/apsec/2002/1850/00/18500107abs.htm db/conf/apsec/apsec2002.html#OkazakiAK02