Erika Ábrahám-Mumm Ulrich Hannemann Martin Steffen Assertion-Based Analysis of Hybrid Systems with PVS. 94-109 http://link.springer.de/link/service/series/0558/bibs/2178/21780094.htm 2001 conf/eurocast/2001 EUROCAST db/conf/eurocast/eurocast2001.html#Abraham-MummHS01