Logics And Languages For Reliability And Security door J. Esparza