On Specification and Verification of Location- Based Fault Tolerant Mobile Systems Alexei Iliasov, Victor Khomenko, Maciej Koutny and Alexander Romanovsky.
© 2013 The MITRE Corporation. All rights reserved. Approved for Public Release; Distribution unlimited. 13-3623 Overview 9 Jan 2014 Technical Team: Andy.