Model-based testing of software for automation systems using heuristics and coverage criterion. - Rodrigo José Sarmento Peixoto; Leandro Dias da Silva; Angelo Perkusich (Softw. Syst. Model., 2019)