Autofunk: an inference-based formal model generation framework for production systems

Publication
20th International Symposium on Formal Methods, FME 2015