Verifying Properties of Scenarios with Fixed Points | IEEE Journals & Magazine | IEEE Xplore