Rolf Drechsler, Mathias Soeken, Robert Wille. Formal Specification Level. In Jan Haase, editor, Models, Methods, and Tools for Complex Chip Design - Selected Contributions from FDL 2012. Volume 265 of Lecture Notes in Electrical Engineering, pages 37-52, Springer, 2012. [doi]
Abstract is missing.