Constructing time-critical embedded systems: Decide before runtime | IEEE Conference Publication | IEEE Xplore