Kappe, T; Arbab, F; Talcott, C; (2017) A Component-Oriented Framework for Autonomous Agents. In: Proenca, J and Lumpe, M, (eds.) Formal Aspects of Component Software: 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings. (pp. pp. 20-38). Springer: Cham, Switzerland.