Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems | lit.salon