System Requirements and Analysis Issues for High Assurance Systems