?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.au=Macedo%2C+Hugo+Daniel&rft.aulast=Macedo&rft.aufirst=Hugo+Daniel&rft.date=2008&rft.title=Incremental+Development+of+a+Distributed+Real-Time+Model+of+a+Cardiac+Pacing+System+using+VDM&rft.genre=proceeding<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>