?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.title=Language+and+Tool+Support+for+Class+and+State+Machine+Refinement+in+UML-B&rft.creator=Said%2C+Mar+Yah&rft.creator=Butler%2C+Michael&rft.creator=Snook%2C+Colin&rft.subject=Tool+developments&rft.subject=Event-B&rft.date=2009-04&rft.type=Rodin+Archive&rft.type=NonPeerReviewed&rft.format=text%2Fplain&rft.identifier=http%3A%2F%2Fdeploy-eprints.ecs.soton.ac.uk%2F95%2F6%2Freadme.txt&rft.format=application%2Fpdf&rft.identifier=http%3A%2F%2Fdeploy-eprints.ecs.soton.ac.uk%2F95%2F7%2FUML-B.pdf&rft.format=application%2Fzip&rft.identifier=http%3A%2F%2Fdeploy-eprints.ecs.soton.ac.uk%2F95%2F8%2FATM_120709.zip&rft.identifier=++Said%2C+Mar+Yah+and+Butler%2C+Michael+and+Snook%2C+Colin++(2009)+Language+and+Tool+Support+for+Class+and+State+Machine+Refinement+in+UML-B.++%5BRodin+Archive%5D+++++&rft.relation=http%3A%2F%2Fdeploy-eprints.ecs.soton.ac.uk%2F95%2F