Bounded Analysis and Decomposition for Behavioural Descriptions of Components