Investigating Instrumentation Techniques for ESB Runtime Verification. - Christian Colombo 001; Gabriel Dimech; Adrian Francalanza (SEFM, 2015)