computer based systems two level formal modeling 6171577