A formal model for construction safety and health risk management · Study