Brian Nielsen: Towards a Method for Combined Model-based Testing and Analysis. MODELSWARD 2014: 609-618