Towards STEM control: Modeling framework and development of a sensor for defocus control | IEEE Conference Publication | IEEE Xplore