Testiranje sukladnosti poslovnog procesa analizom konačnog diskretnog automata : završni rad - Merlin, Mateo (M. Merlin, 2018)