Satoshi Yamane Kazuhiro Nakamura Development and evaluation of symbolic model checker based on approximation for real-time systems. 83-101 2004 35 Systems and Computers in Japan 10 http://dx.doi.org/10.1002/scj.10565 db/journals/scjapan/scjapan35.html#YamaneN04