On rigorous transaction scheduling | IEEE Journals & Magazine | IEEE Xplore