publication venue for Given-Find-In Order To-Subjected To (GFIS) method for the problem statement in set-based design 2023