This repository containts the full documentation (technical report) and the Uppaal models of the publication
Basile, D., Fantechi, A. and Rosadi, I., 2021, August. Formal Analysis of the UNISIG Safety Application Intermediate Sub-layer. In International Conference on Formal Methods for Industrial Critical Systems (pp. 174-190). Springer, Cham. Pdf: https://openportal.isti.cnr.it/data/2021/456088/2021_456088.preprint.pdf?id=people______%3A%3A8979798c74d123326db3b3977c7205d1
φ4, φ5, φ7, φ9, φ11, φ13, φ17, φ18, φ19, φ20 -> modelConfStandard
φ1, φ2, φ3, φ6, φ8, φ10, φ12, φ16 -> modelFastVerification
φ14 -> modelLowerMaxLostMsgFastVerification
φ15 -> modelLowerMaxLostMsg
φ16' -> modelNoTransmissionDelayThreat
φ21 -> modelLowerSNMax