YASMIN: Yet Another State MachINe