Yet Another Model Checker for PROMELA - The Transformation Approach. - WenDi Zhao (SSIRI (Companion), 2010)