1. Ben, L., Khlif-Bouassida, M., Toguyeni, A.: On-the-fly diagnosability analysis of bounded and unbounded labeled petri nets using verifier nets. Int. J. Appl. Math. Comput. Sci. 28, 269–281 (2018)
2. Broekman, B., Notenboom, E.: Testing Embedded Software. Addison-Wesley (2002)
3. Cormen, T.H., Leiserson, C.E., Rivest, R.L., Stein, C.: Introduction to Algorithms, 3rd edn. The MIT Press (2009)
4. Gruzlikov, A.M., Kolesov, N.V., Lukoyanov, E.V.: Test-based diagnosis of distributed computer system using a time-varying model. In: 10th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (2018)
5. Gruzlikov, A.M., Kolesov, N.V., Lukoyanov, E.V.: Test-based diagnosis of faults in data exchange addressing in computer systems using parallel model. J. Comput. Syst. Sci. Int. 57(3), 420–433 (2018)