@article{Kiekbusch15,
Author = {Lisa Kiekbusch and Christopher Armbrust and Karsten Berns},
Title = {Formal Verification of Behaviour Networks Including Sensor Failures},
Journal = {Robotics and Autonomous Systems},
Year = {2015},
Volume = {74, Part B},
Pages = {331-339},
Month = {December},
Note = {DOI:10.1016/j.robot.2015.08.002},
}