Service-oriented Application for Solving Parametric Synthesis Problem of a Boolean Network with Given Dynamic Properties | IEEE Conference Publication | IEEE Xplore