@misc{BielmeierMauerer, author = {Bielmeier, Benno and Mauerer, Wolfgang}, title = {Semi-Formal Verification of Embedded Linux Systems Using Trace-Based Models}, series = {Semi-Formal Verification of Embedded Linux Systems Using Trace-Based Models}, journal = {Semi-Formal Verification of Embedded Linux Systems Using Trace-Based Models}, language = {en} }