add promela code to appendix and group number