Extendability in the sheaf−theoretic approach: Construction of Bell models from Kochen−Specker models - Mansfield, S; Barbosa, R (2013)