q=system+modeling+and+simulation+with+witness&searchType=standard&isFacet=true&view=standard&rows=10&sortWay=score&sortOrder=desc&curlibcode=STXX_01&searchWay0=marc&logical0=AND
rows=10&curlibcode=STXX_01&searchWay0=marc&logical0=AND
System modeling and simulation with witness