We discuss a quantum measurement model which allows to test in a quantitative framework the concept of non-invasivity introduced by Leggett and Garg. A new technique which allows to speed-up the computations is described and applied to a bistable potential schematizing consecutive measurements of magnetic flux in radio-frequency superconducting quantum interferometer devices.