Testable Specifications of NoTA-based Modular Embedded Systems (2007)
J. Lilius, J. Lindqvist, I. Porres, D. Truscan, T. Eriksson, A. Latva-aho, ...
We propose an approach to specifying embedded devices based on the Network on Terminal Architecture (NoTA) and show how it allows the specification of NoTA components, including service interfaces,...