An Algorithmic approach for abstracting transient states in timed systems
International journal of advanced computer science and applications/International journal of advanced computer science & applications