Towards testability-directed Estelle specification of an OSI-IN interface for universal personal communications and multimedia communications | IEEE Conference Publication | IEEE Xplore