@inproceedings{Lau:17,
title = {From Formal Methods to Software Components: Back to the Future?},
author = {K.-K. Lau},
booktitle = {Proceedings of Thirteenth International Conference on Formal Aspects of Component Software}, 
editor = {O. Kouchnarenko and R. Khosravi}, 
publisher = {Springer},
pages = {10-14},
series = {Lecture Notes in Computer Science},
volume = {10231},
year = {2017}
}