Logics And Languages For Reliability And Security by J. Esparza