1. Broy, M., Deimel, A., Henn, J., Koskimies, K., Plasil, F., Pomberger, G., Pree, W., Stal, M., Szyperski, C.: What characterizes a software component? Softw. Concepts Tools 19(1), 49–56 (1998)
2. di Cola, S., Tran, C., Lau, K.-K.: A graphical tool for model-driven development using components and services. In: Proceedings of 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA) 2015, pp. 181–182 (2015)
3. He, N., Kroening, D., Wahl, T., Lau, K.-K., Taweel, F., Tran, C., Rümmer, P., Sharma, S.: Component-based design and verification in X-MAN. In: Proceedings of Embedded Real Time Software and Systems (2012)
4. Lau, K.-K.: Component certification and system prediction: is there a role for formality? In: Crnkovic, I., Schmidt, H., Stafford, J., Wallnau, K. (eds.) Proceedings of the Fourth ICSE Workshop on Component-based Software Engineering, pp. 80–83. IEEE Computer Society Press (2001)
5. Lau, K.-K., Rana, T.: A taxonomy of software composition mechanisms. In: Proceedings of 36th EUROMICRO Conference on Software Engineering and Advanced Applications, pp. 102–110. IEEE (2010)