?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.title=On+Modelling+and+Analysis+of+Dynamic+Reconfiguration+of+Dependable+Real-Time+Systems&rft.creator=Mazzara%2C+Manuel&rft.creator=Bhattacharyya%2C+Anirban&rft.subject=Real-time+systems&rft.description=This+paper+motivates+the+need+for+a+formalism+for+the+modelling+and+analysis+of+dynamic+reconfiguration+of+dependable+real-time+systems.+We+present+requirements+that%0D%0Athe+formalism+must+meet%2C+and+use+these+to+evaluate+well-established+formalisms+and+two+process+algebras+that+we+have%0D%0Abeen+developing.&rft.publisher=Newcastle+University&rft.type=Monograph&rft.type=NonPeerReviewed&rft.format=application%2Fpdf&rft.identifier=http%3A%2F%2Fdeploy-eprints.ecs.soton.ac.uk%2F155%2F1%2Fcontribution_50064_DEPEND_2010.pdf&rft.identifier=++Mazzara%2C+Manuel+and+Bhattacharyya%2C+Anirban+++On+Modelling+and+Analysis+of+Dynamic+Reconfiguration+of+Dependable+Real-Time+Systems.++Technical+Report.+Newcastle+University.+++++&rft.relation=http%3A%2F%2Fdeploy-eprints.ecs.soton.ac.uk%2F155%2F<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>