Text this: A goal-based modeling approach to develop security requirements of fault tolerant security-critical systems