The AADL/S* Approach to Firmware Design Verification
Werner Damm, G. Doehmen, K. Merkel, M. Sichelschmidt · IEEE Software · 1986
If microprogramming aims to provide direct hardware control— allowing fast, reliable, and flexible implementation of higher architectural layers—how can high-level microprogramming languages be microarchitecture independent?