@misc{indiciaedc03aa775218, title = {A Systematic and Semi-Automatic Safety-Based Test Case Generation Approach Based on Systems-Theoretic Process Analysis}, author = {Asim Abdulkhaleq and Stefan Wagner}, year = {2016}, url = {https://arxiv.org/abs/1612.03103}, note = {Source identifier: 1612.03103} }