Integrazione di processi che utilizzano metodi formali