FORCE: Foundations Of Reliable Classical-quantum Engineering