Asserting Process Down alarms on the Host model in Spectrum