⁶This process simplifies the transformation of object-oriented modules into system modules that was originally presented in [93].