Solving line balancing problems with model checkingVain, Jüri; Randvee, Ingmar; Riismaa, Tiit; Ernits, Juhan-PeepProceedings of the Estonian Academy of Sciences. Engineering2002 / 4, p. 211-222 : ill https://artiklid.elnet.ee/record=b1011298*est