Braga, Menezes, Comicio, Santos, Landim, 2012. Transformation contracts in practice.. https://doi.org/10.1049/iet-sen.2011.0013