J. Fisher, T.A. Henzinger, M. Mateescu, and N. Piterman January 2008
In Proceedings of FMSB ’08 Cambridge, UK
Publisher Springer