Rövid leírás: Folyamat és szabályozás viselkedésének számítógépes vizsgálata beavatkozás nélkül.