Intelligent Safety Verification for Multi-car Elevator System Based on EVALPSN. - Kazumi Nakamatsu; Toshiaki Imai; Haruhiko Nishimura (ACIIDS (1), 2011)