Model-based approaches for the development of event-based systems using embedded services | IEEE Conference Publication | IEEE Xplore