A new formal method of control for Min-Plus linear systems subject to time constraints | IEEE Conference Publication | IEEE Xplore