Heping He Hussein Zedan Cycle calculus for hybrid systems. 223-227 1993 39 Microprocessing and Microprogramming 2-5 http://dx.doi.org/10.1016/0165-6074(93)90093-Z db/journals/jsa/jsa39.html#HeZ93