@proceedings{ESSS14, editor = {J. Pang and Y. Liu and S. Mauw}, title = {Proceedings of the 4th International Workshop on Engineering Safety and Security Systems}, booktitle = {ESSS}, series = {EPTCS}, volume = {184}, year = {2015}, ee = {http://rvg.web.cse.unsw.edu.au/eptcs/content.cgi?ESSS2015} }