Temporal Methods: Multi-Dimensional Modeling of Sequential Circuits. - Lester J. Holtzblatt; M. J. Neiberg; Richard L. Piazza; Marc B. Vilain (Ann. Math. Artif. Intell., 1994)