Title: A study of the reliability and integrity of microprocessor-based process controllers