This disclosure relates to compounds of formula I: wherein R1, R2, R3, R4, X and Y have the meanings denoted in the disclosure. The compounds of formula I have antithrombotic activity and in particular inhibit the protease-activated receptor 1 (PAR1). The disclosure further relates to a method for producing the compound of formula I and to the use thereof as a pharmaceutical product.