Properties first? a new design methodology for hardware, and its perspectives in safety analysis. - Joakim Urdahl; Shrinidhi Udupi; Tobias Ludwig 002; Dominik Stoffel; Wolfgang Kunz (ICCAD, 2016)

Properties First - Correct-By-Construction RTL Design in System-Level Design Flows. - Tobias Ludwig 002; Joakim Urdahl; Dominik Stoffel; Wolfgang Kunz (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Property-Driven Design. - Tobias Ludwig 002 (2021)