Incorporating Presence Conditions into Goal Models that Evolve Over Time | IEEE Conference Publication | IEEE Xplore