Dependency injection refined by extra-functional properties | IEEE Conference Publication | IEEE Xplore