Dominik Auras, Andreas Minwegen, Uwe Deidersen. Just-in-Time Verification in ADL-based processor design. In 2012 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS XII, Samos, Greece, July 16-19, 2012. pages 1-6, IEEE, 2012. [doi]
Abstract is missing.