Efficient Decompositional Model Checking for Regular Timing Diagrams.

Nina Amla E. Allen Emerson Kedar S. Namjoshi Efficient Decompositional Model Checking for Regular Timing Diagrams. 67-81 http://link.springer.de/link/service/series/0558/bibs/1703/17030067.htm 1999 conf/charme/1999 CHARME db/conf/charme/charme1999.html#AmlaEN99