Amla, et al.. Efficient Decompositional Model Checking for Regular Timing Diagrams. Springer Berlin Heidelberg, 1999, doi:10.1007/3-540-48153-2_7.