Advanced Rule-Based Techniques in Mission Critical Systems. - Maite Avelino; Francisco de la Torre (SECURWARE, 2008)