OBNB doesn't sell books, but you may be able to find a copy at one of these websites:
Deriving specifications for systems that are connected to the physical world by C. B. Jones. Published by University of Newcastle upon Tyne in 2007. Publication and catalogue information, links to buy online and reader comments.