Title from cover.
"April 2015."
A comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems by Anirban Bhattacharyya. Published by Newcastle University, Computing Science in 2015. Publication and catalogue information, links to buy online and reader comments.