Backstepping control of the one-phase stefan problem | IEEE Conference Publication | IEEE Xplore