1. Component-based modeling and verification of dynamic adaptation in safety-critical embedded systems;Adler;ACM Trans. Embed. Comput. Syst.,2011
2. Managing distributed adaptation of mobile applications;Alia,2007
3. Specifying and analyzing dynamic software architectures;Allen,1998
4. Distributed adaption of dining philosophers;Andova,2012
5. Formalizing adaptation on-the-fly;Andova,2009