@inproceedings{inproceedings, title = {{Deviational analyses for validating regulations on real systems}}, url = {{}}, year = {{2006}}, month = {{1}}, author = {{Polack F and Srivatanakul T and Kelly T and Clark J}}, volume = {{241}}, journal = {{CEUR Workshop Proceedings}}, pages = {{813-817}}, note = {{Accessed on 2024/12/20}}}