Margarita V. Korovina Nicolai Vorobjov Pfaffian Hybrid Systems. 430-441 http://dx.doi.org/10.1007/978-3-540-30124-0_33 2004 conf/csl/2004 CSL db/conf/csl/csl2004.html#KorovinaV04