Proceedings of the 2006 annual ACM SIGAda international conference on Ada