Using Simulation for the Validation of High Level Specifications of Control Systems. - Watcharee Jumpamule; Jean-Luc Paillet; Norbert Giambiasi (J. Intell. Robotic Syst., 2003)

Detection of LiveLock in BPMN Using Process Expression. - Nasi Tantitharanukul; Watcharee Jumpamule (IAIT, 2010)