published in Proceedings of IEEE International Symposium on High Assurance Systems Engineering Journal