A pattern for structuring the behavioural requirements of features of an embedded system | IEEE Conference Publication | IEEE Xplore