A framework for probabilistic model-based engineering and data synthesis · Study