Sticking to Specification for Fire Safety