Hellfire: A design framework for critical embedded systems' applications | IEEE Conference Publication | IEEE Xplore