REACTIVE SYSTEMS 6 SISTEMAS REACTIVOS 6 Reactive system 4 Software engineering 4 Specifications 4 ACTUALIZACION DINAMICA 3 BUSINESS PROCESSES 3 DFT 3 DINAMICA MOLECULAR 3 DISCRETE EVENT CONTROLLERS 3 DYNAMIC UPDATE 3 MOLECULAR DYNAMICS 3 PROCESOS DE NEGOCIO 3 PROTON TRANSFER 3 QM-MM 3 SINTESIS 3 SISTEMAS DE EVENTOS DISCRETOS 3 SOLVATACION 3 SOLVATION 3 SYNTHESIS 3 TRANSFERENCIA DE PROTON 3 Adaptive control systems 2 Adaptive systems 2 Application programs 2 Continuous operation 2 Controller synthesis 2 Controllers 2 Correctness criterion 2 Dynamic update 2 Event-based system 2