Certification of IPavement Applications for Smart Cities - A Case Study Topics: Software Quality Management In Proceedings of the 10th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, 244-249, 2015 , Barcelona, Spain