Valdemar Vicente Graciano Neto: Validating Emergent Behaviours in Systems-of-Systems through Model Transformations. SRC@MoDELS 2016