Control of Real-Time Systems With Integer Parameters | IEEE Journals & Magazine | IEEE Xplore