Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies