category E1 Full Written Paper-Refereed Proceedings. MA 15/11/13.