Introduction aux méthodes formelles — Jean-François Monin