Reverse-translational biomarker validation of Abnormal Repetitive Behaviors in mice: An illustration of the 4P's modeling approach · Study