The field of specification mining and behavioural model inference addresses the challenge of automatically extracting formal specifications and models of software systems from various forms of ...

This paper documents the specification of a model that was constructed to assess debt sustainability in emerging market economies. Key features of the model include external and fiscal sectors, which ...