Random model sampling: Making craig interpolation work when it should not. - Marat Kh. Akhin; Sam Kolton; Vladimir M. Itsykson (Autom. Control. Comput. Sci., 2015)