Toshiaki Aoki Takuya Katayama Statechart-based Verification of Object-Oriented Design Models. 278-285 2007 conf/apsec/2007 APSEC http://doi.ieeecomputersociety.org/10.1109/APSEC.2007.86 db/conf/apsec/apsec2007.html#AokiK07