Use Case Maps and LOTOS for the prototyping and validation of a mobile group call system