1. Chrobot, S., Daszczuk, W.B.: Communication dualism in distributed systems with Petri net interpretation. Theor. Appl. Inform. 18(4), 261–278 (2006)
2. Daszczuk, W.B.: Deadlock and termination detection using IMDS formalism and model checking, Version 2. ICS WUT Research Report No. 2/2008 (2008)
3. Daszczuk, W.B.: Communication and resource deadlock analysis using IMDS formalism and model checking. Comput. J. (2016) (in press). doi:
10.1093/comjnl/bxw099
4. Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999). ISBN 0-262-03270-8
5. Dedan.
http://staff.ii.pw.edu.pl/dedan/files/DedAn.zip