Funkcijsko testiranje poslovnog procesa modeliranog konačnim diskretnim automatom : diplomski rad - Kruljac, Marko (M. Kruljac, 2016)