Joost-Pieter Katoen Perdita Stevens Guest editors' introduction: Advancements and extensions of verification techniques. 99-101 2004 6 STTT 2 http://www.springerlink.com/index/10.1007/s10009-004-0150-0 db/journals/sttt/sttt6.html#KatoenS04