K. Röbenack and R. Voßwinkel, “Eigenvalue Placement by Quantifier Elimination - the Static Output Feedback Problem”, Acta Cybern, vol. 24, no. 3, pp. 409-427, Mar. 2020.