Towards the Usage of MBT at ETSI - Jens Grabowski; Victor V. Kuliamin; Alain-Georges Vouffo Feudjio; Antal Wu-Hen-Chang; Milan Zoric (MBT, 2013)