"A Hybrid Model for Reasoning about Composed Hardware Systems."

E. Thomas Schubert (1994)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics