Jane Cleland-Huang, Mats Per Erik Heimdahl, Jane Huffman Hayes, Robyn R. Lutz, Patrick Maeder. Trace Queries for Safety Requirements in High Assurance Systems. In Björn Regnell, Daniela E. Damian, editors, Requirements Engineering: Foundation for Software Quality - 18th International Working Conference, REFSQ 2012, Essen, Germany, March 19-22, 2012. Proceedings. Volume 7195 of Lecture Notes in Computer Science, pages 179-193, Springer, 2012. [doi]
Abstract is missing.