An optimizable model for process independent symbolic design | IEEE Conference Publication | IEEE Xplore