Invia SMS: Proceedings of the Second Workshop on Hierarchical Test Generation, Appendix :