Event-based Specification for Controlling Spatio-temporal Changes of Geographic situation | IEEE Conference Publication | IEEE Xplore