A Technique for Analyzing and Testing Object-Oriented Software Using Colored Petri Nets. - Harumi Watanabe; Hiroki Tokuoka; Wenxin Wu; Motoshi Saeki (APSEC, 1998)

DC2: A framework for scalable, scope-bounded software verification. - Franjo Ivancic; Gogul Balakrishnan; Aarti Gupta; Sriram Sankaranarayanan 001; Naoto Maeda; Hiroki Tokuoka; Takashi Imoto; Yoshiaki Miyazaki (ASE, 2011)