Formal modelling of business rules : what kind of tool to use? - Lovrenčić, Sandra, informatičarka (Array, 2006)