Behavioural analysis of component framework with multi-valued transition system | IEEE Conference Publication | IEEE Xplore