Laurent Kaiser: Contribution à l'analyse des TIOSMs pour la vérification de propriétés temporelles de systèmes complexes. National Polytechnic Institute of Lorraine, Nancy, France 2001