Moving Carefully Towards Model-based Layout Optimization and Checking | IEEE Conference Publication | IEEE Xplore