Encapsulating an engineering calculus environment in a reusable component framework | IEEE Conference Publication | IEEE Xplore