https://9pdf.co/document/qo5gerg0-ab-modelcheckingtimedsafetyinstrumentedsystems.html