exercises and project of specification languages lecture at USI Lugano