Assume, guarantee or repair: a regular framework for non regular properties - International Journal on Software Tools for Technology Transfer