TY  - RPRT
TI  - Modeling and Analyzing Adaptive User-Centric Systems in Real-Time Maude
AU  - Martin Wirsing
AU  - Sebastian S. Bauer
AU  - Andreas Schroeder
PY  - 2010
DO  - 10.4204/eptcs.36.1
UR  - https://arxiv.org/abs/1009.4259
ID  - 1009.4259
ER  -