Bouzeghoub, et al.. Active-design: A Generic Toolkit for Deriving Specific Rule Execution Models. Springer Berlin Heidelberg, 1997, doi:10.1007/3-540-63516-5_26.