The derivation, implementation and evaluation of a model for CBL specification and design