Buchs, DidierRacloz, Pascal2005-09-202005-09-202005-09-201994https://infoscience.epfl.ch/handle/20.500.14299/216762ConformSymbolic Proofs of Temporal Propertiestext::report