https://9lib.org/document/zwvrprvg-efficiently-learning-timed-system-models-from-observations.html