On discrete event diagnosis methods for continuous systems | IEEE Conference Publication | IEEE Xplore