Tae Kameda Osamu Arai Sergei Gorlatch Hamido Fujita Towards a Verification-Based Development Approach for Reactive Systems. 350-363 2009 SoMeT http://dx.doi.org/10.3233/978-1-60750-049-0-350 conf/somet/2009 db/conf/somet/somet2009.html#KamedaAGF09