1 Table of Contents: “...Formal methods: A panacea or academic poppycock? -- An introduction to the event calculus...”

2 “..., this book will also be of interest to the following groups; academic researchers working in formal methods...”