?url_ver=Z39.88-2004&rft_id=CS-TR-1216&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.title=AI4FM%3A+A+New+Project+Seeking+Challenges!&rft.creator=Grov%2C+Gudmund&rft.creator=Jones%2C+Cliff+B.&rft.subject=Proof+and+model+checking&rft.publisher=Newcastle+University+&rft.date=2010&rft.type=Monograph&rft.type=NonPeerReviewed&rft.format=application%2Fpdf&rft.identifier=http%3A%2F%2Fdeploy-eprints.ecs.soton.ac.uk%2F284%2F1%2F1216.pdf&rft.relation=http%3A%2F%2Fwww.cs.ncl.ac.uk%2Fpublications%2Ftrs%2Fpapers%2F1216.pdf&rft.identifier=++Grov%2C+Gudmund+and+Jones%2C+Cliff+B.++(2010)+AI4FM%3A+A+New+Project+Seeking+Challenges!++Technical+Report.+Newcastle+University+.+++++&rft.relation=http%3A%2F%2Fdeploy-eprints.ecs.soton.ac.uk%2F284%2F<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>