Development of an ML-based Verification Tool for Timed CSP Processes. - Takeshi Yamakawa; Tsuneki Ohashi; Chikara Fukunaga (CPA, 2011)