Cattaruzza, Dario
Abate, Alessandro http://orcid.org/0000-0002-5627-9093
Schrammel, Peter
Kroening, Daniel
Funding for this research was provided by:
Alan Turing Institute
European Research Council
Engineering and Physical Sciences Research Council
Horizon 2020 Framework Programme
Article History
Received: 16 June 2018
Accepted: 28 April 2020
First Online: 29 May 2020