Model checking semi-continuous time models using BDDsSérgio CamposMárcio Teixeiraet al.2001Electronic Notes in Theoretical Computer Science