32EC4C82-601B-4CB1-9115-A6824A2C6D7AWRG Phase III: The White Rose Grid e-Science CentreResearch GrantEP/F057644/1798CB33D-C79E-4578-83F2-72606407192CEPSRCINCOME_ACTUAL6434991ABF874E-C1C6-481A-B045-050B5C45283AEdited proceedings for High Assurance System Engineering, IEEE CS Press, 2008High Assurance System Engineering923cb8d92d7608b2fc0580aad8ba5578X. Li2008-01-01http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4708846Conference/Paper/Proceeding/Abstract5464aa39ab3964.22519539