Hazard analysis of collision avoidance system using STPA. - Sardar Muhammad Sulaman; Taimor Abbas; Krzysztof Wnuk; Martin Höst (ISCRAM, 2014)