Text this: Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems