Product Models for Fire Alarm Systems