1. Polubelova O., Kotenko I. Verification of security policy filtering rules with temporal parameters by Model Checking // SPIIRAS Proceedings. 2012. № 22 (3). C. 113-138.