Vitalsource Technologies, Inc. Linear and Non-linear Stability Analysis in Boiling Water Reactors: The Design of Real-Time Stability Monitors