Proceedings of the International Workshop on Automated and verifiable Software sYstem DEvelopment