Towards efficient functional safety certification of construction machinery using a component-based approach | IEEE Conference Publication | IEEE Xplore