MZSRM September 4, 2015 • Software MZSRM is a zero-slack rate monotonic scheduler that has been simplified for verification. Publisher GitHub Topic or Tag Autonomy And Counter-Autonomy Cyber-Physical Systems Abstract MZSRM is a zero-slack rate monotonic scheduler that has been simplified for verification. SHARE