Julien Provost, Jean-Marc Roussel, Jean-Marc Faure: SIC-testability of sequential logic controllers. WODES 2010: 193-198