Peter Maly, C. Murray Woodside. Layered Modeling of Hardware and Software, with Application to a LAN Extension Router. In Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Connie U. Smith, editors, Computer Performance Evaluation: Modelling Techniques and Tools, 11th International Conference, TOOLS 2000, Schaumburg, IL, USA, March 27-31, 2000, Proceedings. Volume 1786 of Lecture Notes in Computer Science, pages 10-24, Springer, 2000. [doi]
Abstract is missing.