Állapot alapú modellezés segédanyag kiinduló verziója.