Horatiu Cirstea Pierre-Etienne Moreau Antoine Reilles Rule-based Programming in Java For Protocol Verification. 209-227 2004 conf/wrla/2004 WRLA https://doi.org/10.1016/j.entcs.2004.06.022 db/journals/entcs/entcs117.html#CirsteaMR05