An event model for real-time systems in mobile environments | IEEE Conference Publication | IEEE Xplore