@inproceedings{Sojer2010d, author = {Sojer, Dominik and Buckl, Christian and Knoll, Alois}, title = {Propagation, Transformation and Refinement of Safety Requirements}, booktitle = {Proceedings of the 3rd Workshop on Non-functional System Properties in Domain Specific Modeling Languages}, year = {2010}, month = oct, institution = {Technische Universit{\"{a}}t M{\"{u}}nchen}, keywords = {embedded, ftos}, url = {http://www.springer.com/computer/swe/book/978-3-642-21209-3}, }