Petri nets based proofs of Ada 95 solution for preference control
Origin : Files produced by the author(s)