Mohamed Rakha, Fahim Imam, Thomas Dean. Generating a Real-Time Constraint Engine for Network Protocols. 12th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2018, Brussels, Belgium. pp.44-60, ⟨10.1007/978-3-030-20074
HAL Archives-Ouvertes,
Mohamed Rakha, Fahim Imam, Thomas Dean. Generating a Real-Time Constraint Engine for Network Protocols.