Event structures: the tailor-made solution for your needs