Zaslat SMS: Mathematical models of Arms Control and