Software Security Specifications and Design: How Software Engineers and Practitioners Are Mixing Things up. - Mohammad Zarour; Mamdouh Alenezi; Khalid Alsarayrah (EASE, 2020)