Using Rule-Based Engine to Support Test Validation Management of Complex Safety-Critical Systems. - Valentina Accili; Giovanni Cantone; Christian Di Biagio; Guido Pennella; Fabrizio Gori (ICSOFT (PL/DPS/KE/MUSE), 2007)