GRA-UML Examples with generated SSP