Security & Safety by Model-based Requirements Engineering | IEEE Conference Publication | IEEE Xplore