project of specification languages lecture at USI Lugano