The role of formal controls in facilitating information system diffusion · Study