Kazuo Kera Keisuke Bekki Naoki Miwa Fumio Kitahara Keiji Kamijyo Kazuya Seki Assurance Technologies for Growing Systems and Their Application to Large-Scale Transport Operation Control Systems. 85-92 2001 ISADS http://computer.org/proceedings/isads/1065/10650085abs.htm db/conf/isads/isads2001.html#KeraBMKKS01