Jussi K. Vaurio. A recursive method for breaking complex logic loops in Boolean system models. Rel. Eng. & Sys. Safety, 92(10):1473-1475, 2007. [doi]
@article{Vaurio07b,
title = {A recursive method for breaking complex logic loops in Boolean system models},
author = {Jussi K. Vaurio},
year = {2007},
doi = {10.1016/j.ress.2006.09.020},
url = {http://dx.doi.org/10.1016/j.ress.2006.09.020},
researchr = {https://researchr.org/publication/Vaurio07b},
cites = {0},
citedby = {0},
journal = {Rel. Eng. & Sys. Safety},
volume = {92},
number = {10},
pages = {1473-1475},
}