SDS - A LOTOS-Based Tool for Symbolic Debugging. - Francesco Costa; Daniela Nardi; Roberto Rinaldi (FORTE, 1988)