Cited By
View all- Dropmann CThaden ETrapp MUecker DAmarnath Rda Silva LMunk PSchweizer MJung MAdler R(2018)A Model-Based Safety Analysis of Dependencies Across Abstraction LayersDevelopments in Language Theory10.1007/978-3-319-99130-6_6(73-87)Online publication date: 17-Aug-2018