Gravar-mail: A synchronous transition protocol with periodicity for global scheduling of multimode real-time systems on multiprocessors