Formal Specification Level

@inbook{pub7076,
    author = {

Drechsler, Rolf
 and 

Soeken, Mathias
 and 

Wille, Robert
},
    editor = {

Haase, Jan
},
    title = {Formal Specification Level},
    booktitle = {Models, Methods and Tools for Complex Chip Design},
    year = {2013},
    volume = {265},
    chapter = {3},
    pages = {37--52},
    publisher = {Springer},
    isbn = {978-3-319-01417-3}
}