• Zbrzezny A and Zbrzezny A. (2022). Bounded Model Checking for Metric Temporal Logic Properties of Timed Automata with Digital Clocks. Sensors. 10.3390/s22239552. 22:23. (9552).

    https://www.mdpi.com/1424-8220/22/23/9552

  • Grichi H, Mosbahi O, Khalgui M and Li Z. RWiN: New Methodology for the Development of Reconfigurable WSN. IEEE Transactions on Automation Science and Engineering. 10.1109/TASE.2016.2608918. 14:1. (109-125).

    http://ieeexplore.ieee.org/document/7605495/

  • Grichi H, Mosbahi O and Khalgui M. (2015). Formal specification and verification of reconfigurable wireless sensor networks 2015 12th International Multi-Conference on Systems, Signals & Devices (SSD). 10.1109/SSD.2015.7348099. 978-1-4799-1758-7. (1-8).

    http://ieeexplore.ieee.org/document/7348099/

  • Mouradian A and AugĂ©-Blum I. Formal verification of real-time wireless sensor networks protocols with realistic radio links. Proceedings of the 21st International conference on Real-Time Networks and Systems. (213-222).

    https://doi.org/10.1145/2516821.2516833