S radostí se podělím o nový článek! Navrhování chování modelu je obtížné -- žádoucí hodnoty se často táhnou opačným směrem. Jifanův přístup systematicky vytváří scénáře, ve kterých jsou hodnoty v rozporu, což nám pomáhá zjistit, kde chybí pokrytí specifikací a jak různé modely vyvažují kompromisy.