Systematic derivation of conceptual models from requirements models: A controlled experiment | IEEE Conference Publication | IEEE Xplore