Analysis of an Alarm System – Part 2/3 https://insinuator.net/2015/05/analysis-of-an-alarm-system-part-2/3/