TY - CONF T1 - Deviational analyses for validating regulations on real systems JO - CEUR Workshop Proceedings PY - 2006/01/01 AU - Polack F AU - Srivatanakul T AU - Kelly T AU - Clark J ED - VL - 241 SP - 813 EP - 817 Y2 - 2024/12/22 ER -