Verifying Web Applications: From Business Level Specifications to Automated Model-Based Testing Christian Colombo, Mark Micallef, Mark Scerri.