Active Inference of Extended Finite State Machine Models with Registers and Guards — Roland Groz, German Eduardo Vega Baez, Adenilso Simao, Catherine Oriat, Neil Walkinshaw, Michael Foster | Kutubxona