Text this: Formal methods: foundations and applications :