Journal article "A formal approach to automatically analyse extra-functional properties in mobile applications"