Daniel Aceituna, Hyunsook Do. Exposing the susceptibility of off-nominal behaviors in reactive system requirements. In Didar Zowghi, Vincenzo Gervasi, Daniel Amyot, editors, 23rd IEEE International Requirements Engineering Conference, RE 2015, Ottawa, ON, Canada, August 24-28, 2015. pages 136-145, IEEE Computer Society, 2015. [doi]
Abstract is missing.