United's basic economy fare will save you money, yes. But the lower ticket price means you're subject to more restrictions around upgrades, baggage allowances, and seating. That may not sound so bad ...

Abstract: Safety critical systems involve the tight coupling between potentially conflicting control objectives and safety constraints. As a means of creating a formal framework for controlling ...